1. Basic proof theory
پدیدآورنده : A.S. Troelstra, H. Schwichtenberg,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Proof theory
رده :
QA
.
T76
9
.
54
1996
2. Basic proof theory
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T76
2000
